/**
 * <copyright>
 * </copyright>
 *
 * $Id$
 */
package gek.uni.diplom.ecore.stack.Stack;

import org.eclipse.emf.common.util.EList;

import org.eclipse.emf.ecore.EObject;

/**
 * <!-- begin-user-doc -->
 * A representation of the model object '<em><b>Stack</b></em>'.
 * <!-- end-user-doc -->
 *
 * <p>
 * The following features are supported:
 * <ul>
 *   <li>{@link gek.uni.diplom.ecore.stack.Stack.Stack#getSize <em>Size</em>}</li>
 *   <li>{@link gek.uni.diplom.ecore.stack.Stack.Stack#getChildren <em>Children</em>}</li>
 * </ul>
 * </p>
 *
 * @see gek.uni.diplom.ecore.stack.Stack.StackPackage#getStack()
 * @model
 * @generated
 */
public interface Stack extends EObject {
	/**
   * Returns the value of the '<em><b>Children</b></em>' reference list.
   * The list contents are of type {@link gek.uni.diplom.ecore.stack.Stack.Element}.
   * <!-- begin-user-doc -->
	 * <p>
	 * If the meaning of the '<em>Children</em>' attribute list isn't clear,
	 * there really should be more of a description here...
	 * </p>
	 * <!-- end-user-doc -->
   * @return the value of the '<em>Children</em>' reference list.
   * @see gek.uni.diplom.ecore.stack.Stack.StackPackage#getStack_Children()
   * @model
   * @generated
   */
	EList<Element> getChildren();

	/**
   * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
   * @model annotation="http://www.eclipse.org/ocl/examples/OCL invariant='Sequence{\'a\',\'b\',\'c\'}->size()>0'"
   * @generated
   */
	void push(Element element);

	/**
   * Returns the value of the '<em><b>Size</b></em>' attribute.
   * The default value is <code>"0"</code>.
   * <!-- begin-user-doc -->
	 * <p>
	 * If the meaning of the '<em>Size</em>' attribute isn't clear,
	 * there really should be more of a description here...
	 * </p>
	 * <!-- end-user-doc -->
   * @return the value of the '<em>Size</em>' attribute.
   * @see #isSetSize()
   * @see #unsetSize()
   * @see #setSize(long)
   * @see gek.uni.diplom.ecore.stack.Stack.StackPackage#getStack_Size()
   * @model default="0" unsettable="true"
   * @generated
   */
	long getSize();

	/**
   * Sets the value of the '{@link gek.uni.diplom.ecore.stack.Stack.Stack#getSize <em>Size</em>}' attribute.
   * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
   * @param value the new value of the '<em>Size</em>' attribute.
   * @see #isSetSize()
   * @see #unsetSize()
   * @see #getSize()
   * @generated
   */
	void setSize(long value);

	/**
   * Unsets the value of the '{@link gek.uni.diplom.ecore.stack.Stack.Stack#getSize <em>Size</em>}' attribute.
   * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
   * @see #isSetSize()
   * @see #getSize()
   * @see #setSize(long)
   * @generated
   */
	void unsetSize();

	/**
   * Returns whether the value of the '{@link gek.uni.diplom.ecore.stack.Stack.Stack#getSize <em>Size</em>}' attribute is set.
   * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
   * @return whether the value of the '<em>Size</em>' attribute is set.
   * @see #unsetSize()
   * @see #getSize()
   * @see #setSize(long)
   * @generated
   */
	boolean isSetSize();

	/**
   * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
   * @model
   * @generated
   */
	Element pop();

} // Stack
